<HTML><HEAD><TITLE>+Goal1 , +Goal2</TITLE>
</HEAD><BODY>[ <A HREF="index.html">Control</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>+Goal1 , +Goal2</H1>
Comma (AND) operator - succeeds if the goals Goal1 and Goal2 both succeed


<DL>
<DT><EM>Goal1</EM></DT>
<DD>Atom or compound term.
</DD>
<DT><EM>Goal2</EM></DT>
<DD>Atom or compound term.
</DD>
</DL>
<H2>Description</H2>
   Succeeds if both Goal1 and Goal2 can be satisfied.

<P>
   Note that !/0 cuts through ,/2.

<P>

<H3>Modules</H3>
This predicate is sensitive to its module context (tool predicate, see @/2).
<H3>Fail Conditions</H3>
Fails if either Goal1 or Goal2 fails
<H3>Resatisfiable</H3>
Resatisfiable if either Goal1 or Goal2 are resatisfiable
<H2>Examples</H2>
<PRE>
Success:
      [eclipse]: (F="file1", writeln(F)).
      file1
      F = "file1"
      yes.

      [eclipse]: call((write(a), write(b))).
      ab
      yes.



</PRE>
<H2>See Also</H2>
<A HREF="../../kernel/control/O-2.html">; / 2</A>
</BODY></HTML>
